#include <type.h>
/*==========================
 *  syscall interface
 *===========================*/
void syscall_test0();
void syscall_test1(int arg1);
void syscall_test2(int arg1, int arg2, int arg3, int arg4, int arg5);
